Péter Gömöri - Gradualizer: challenges implementing a type checker - ElixirConf EU 2019 Code Sync 39:42 5 years ago 594 Скачать Далее
What’s new in Gradualizer: Type checking Erlang and Elixir | Radek Szymczyszyn | Lambda Days 2022 Code Sync 47:31 1 year ago 2 992 Скачать Далее
The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Ras Bodik 24:19 8 years ago 244 Скачать Далее
XProf solves All Your Performance Issues - Péter Gömöri - EUC17 Erlang Solutions 36:56 6 years ago 301 Скачать Далее
Profiling and Tracing for all with Xprof - Péter Gömöri - Elixir.LDN 2017 Erlang Solutions 26:15 6 years ago 1 032 Скачать Далее
Philipp Schmieder - From Zero to Elixir Deployment - ElixirConf EU 2019 Code Sync 35:22 5 years ago 8 974 Скачать Далее
Lightning Talk - Native Code from Elixir - Daniel Serrano - ElixirConf EU 2019 Code Sync 3:59 5 years ago 421 Скачать Далее
Jason Voegele: Dialyzer Optimistic Type Checking for Erlang and Elixir - λC 2016 LambdaConf 29:24 7 years ago 169 Скачать Далее
Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi NYC Haskell User's Group 1:03:09 Streamed 4 years ago 206 Скачать Далее
mypy Python's gradual typing implementation - Itzhak Kasovitch - Pycon Israel 2017 PyCon Israel 23:02 6 years ago 225 Скачать Далее
Asumu Takikawa - Towards Practical Gradual Typing - ECOOP 2015 ECOOP ! 30:01 8 years ago 293 Скачать Далее